Classifying the phase transition threshold for Ackermannian functions

نویسندگان

  • Eran Omri
  • Andreas Weiermann
چکیده

It is well known that the Ackermann function can be defined via diagonalization from an iteration hierarchy (of Grzegorczyk type) which is built on a start function like the successor function. In this paper we study for a given start function g iteration hierarchies with a sublinear modulus h of iteration. In terms of g and h we classify the phase transition for the resulting diagonal function from being primitive recursive to being Ackermannian.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Classifying the phase transition threshold for unordered regressive Ramsey numbers

Following ideas of Richer (2000) we introduce the notion of unordered regressive Ramsey numbers or unordered Kanamori-McAloon numbers. We show that these are of Ackermannian growth rate. For a given number-theoretic function f we consider unordered f -regressive Ramsey numbers and classify exactly the threshold for f which gives rise to the Ackermannian growth rate of the induced unordered f -r...

متن کامل

Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers

We compute the sharp thresholds on g at which g-large and g-regressive Ramsey numbers cease to be primitive recursive and become Ackermannian. We also identify the threshold below which g-regressive colorings have usual Ramsey numbers, that is, admit homogeneous, rather than just min-homogeneous sets.

متن کامل

Investigation into the temperature dependence of isotropic- nematic phase transition of Gay- Berne liquid crystals

Density functional approach was used to study the isotropic- nematic (I-N) transition and calculate the values of freezing parameters of the Gay- Berne liquid crystal model. New direct and pair correlation functions of a molecular fluid with Gay- Berne pair potential were used. These new functions were used in density functional theory as input to calculate the isotropic- nematic transition den...

متن کامل

Phase Transitions Related to the Pigeonhole Principle

Since Jeff Paris introduced them in the late seventies [Par78], densities turned out to be useful for studying independence results. Motivated by their simplicity and surprising strength we investigate the combinatorial complexity of two such densities which are strongly related to the pigeonhole principle. The aim is to miniaturise Ramsey’s Theorem for 1-tuples. The first principle uses an unl...

متن کامل

Quantifying the threshold frost hardiness for over-wintering survival of wheat in Iran, using simulation

                The value of frost tolerance in wheat is increased with decreasing the temperature in late autumn and/or early winter (phase I, acclimation), then shows plateau state for a period with the coldest temperature (II), finally appears to decrease with warming the temperature (III, de-acclimation). This study was aimed to determine the threshold frost hardiness in wheat for avoiding ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Ann. Pure Appl. Logic

دوره 158  شماره 

صفحات  -

تاریخ انتشار 2009